INTELLIGENT CONTROL SYSTEM FOR STREAM SAMPLING

This article introduces an intelligent sampling controller to assist the actions taken by a plant operator to correct sampling conditions. This hybrid system includes a sampling error filter (SEF), a sampling performance indexer (SPI), a sampling correctness inspector (SCI), and a sampling error evaluator (SEE). First, the SEF upgrades the measured variables in a mineral-processing system by material balance. Then, the SPI employs fuzzy logic to assess the sampling performance. In addition, the expert system SCI checks the correctness of the sampling process. Finally, the sampling error is computed by the expert system SEE.     

Authorship verification using deep belief network systems

This paper explores the use of deep belief networks for authorship verification model applicable for continuous authentication (CA). The proposed approach uses Gaussian units in the visible layer to model real‐valued data on the basis of a Gaussian‐Bernoulli deep belief network. The lexical, syntactic, and application‐specific features are explored, leading to the proposal of a method to merge a pair of features into a single one. The CA is simulated by decomposing an online document into a sequence of short texts over which the CA decisions happen. The experimental evaluation of the proposed method uses block sizes of 140, 280, 500 characters, on the basis of the Twitter and Enron e‐mail corpuses. Promising results are obtained, which consist of an equal error rate varying from 8.21% to 16.73%. Using relatively smaller forgery samples, an equal error rate varying from 5.48% to 12.3% is also obtained for different block sizes.     

A combined aeroelastic‐aeroacoustic model for wind turbine noise: verification and analysis of field measurements

In this paper, semi‐empirical engineering models for the three main wind turbine aerodynamic noise sources, namely, turbulent inflow, trailing edge and stall noise, are introduced. They are implemented into the in‐house aeroelastic code HAWC2 commonly used for wind turbine load calculations and design. The results of the combined aeroelastic and aeroacoustic model are compared with field noise measurements of a 500 kW wind turbine. Model and experimental data are in fairly good agreement in terms of noise levels and directivity. The combined model allows separating the various noise sources and highlights a number of mechanisms that are difficult to differentiate when only the overall noise from a wind turbine is measured. Copyright © 2017 John Wiley & Sons, Ltd.     

ON ASYNCHRONOUS ITERATIVE METHODS FOR THE SOLUTION OF NON-LINEAR EQUATIONS AND SYSTEMS OF EQUATIONS FOR MULTIPROCESSORS

In this paper we investigate the problem of constructing iterative methods for solving non-linear algebraic equations and systems of equations, corresponding to a parallel implementation on a multiprocessor system with no synchronization between co-operating processes.     

Food Safety Management System validation and verification in meat industry: Carcass sampling methods for microbiological hygiene criteria – A review

During validation and verification of the system for the proper implementation of HACCP principles, it is essential to rely on microbiological data. Considerable science research has been carried out during the last twenty years on sampling and testing of carcasses for hygiene criteria. This includes the preferable indicator microorganisms to be used, in order to indicate the general hygiene of slaughtering procedures, the evaluation of microbiological data gathered and the sampling methods. Furthermore, European Union (EU) and the United States have adopted the procedures for HACCP validation and verification in their legislation. The aim of this review is to demonstrate the relevant modern trends in this field of food science. In conclusion, microbiological data based on the indicators should be interpreted only to assess general trends in the hygiene process of the operator in order to take corrective action. Microbiological results, obtained only at the end of the slaughtering process, do not provide information on the cause of the problem. Therefore, ‘process-based’ microbiological criteria which are based on values measured at various stages of the process, including final carcass values, should be used. Finally, in order to implement an adequate monitoring system, non-destructive techniques of carcass sampling could be used instead of excision. The microbial recovery may be lower, but it is proportional to the excision recovery and therefore, non-destructive techniques, like swabbing with sponges, could be a practical sampling method for the estimation of indicators during the slaughtering procedure and hygiene evaluation.     

Taming distributed system complexity through formal patterns

Many distributed systems are real-time, safety-critical systems with strong qualitative and quantitative formal requirements. They often need to be reflective and adaptive, and may be probabilistic in their algorithms and/or their operating environments. All this makes these systems quite complex and therefore hard to design, build and verify. To tame such system complexity, this paper proposes formal patterns, that is, formally specified solutions to frequently occurring distributed system problems that are generic, executable, and come with strong formal guarantees. The semantics of such patterns as theory transformations in rewriting logic is explained; and a representative collection of useful patterns is presented to ground all the key concepts and show their effectiveness.     

Trial application of ASHRAE 1051-RP: calibration method for building energy simulation

ASHRAE research project 1051-RP generated a method to improve the process of calibrating whole building energy simulation models based on monthly utility data. The approach, using manual generation of simulation model variations, was applied to a 12,000 m² high-performance, dual energy, cold climate building. This led to 27 models that met the ASHRAE Guideline 14 monthly goodness-of-fit criteria for electricity, but had fit values for gas that were about 5–7 times the normalized mean bias error (NMBE) acceptance threshold. Five models met the criteria for natural gas and had acceptable coefficient of variation of the root-mean-square error for electricity, but NMBE was about 100% too high. Use of finer interval monitored data yielded a model with electrical NMBE about 60% above the acceptance threshold, and gas use about 200% above. Hourly analysis of the thermal energy demand on the plant showed wide discrepancies with the estimates on an hourly and half daily basis.     

放射性物品运输容器试验验证经验总结

我国放射性物品运输实施分类监管。试验是验证放射性物品运输容器安全性能最直接的手段。本文对放射性物品运输容器的试验要求与检测方法进行了综述,并对运输容器安全性能试验的经验进行了总结。     

实验室标准物质的期间核查

结合实验室标准物质期间核查的工作实际,对硫标准物质期间核查方法进行了探讨,并对核查的注意事项进行了说明。     

基于SWT和Hilbert的密封磁阻马达式CRDM振动信号去噪

针对控制棒驱动机构滚轮振动信号采集过程受到噪声干扰的问题，提出了小波半软阈值（SWT）和Hilbert变换法相结合的去噪方法。该方法首先利用小波半软阈值算法在时频域对滚轮振动信号进行降噪处理，然后进行Hilbert变换求出其包络谱，分析寿命试验与缺陷验证试验中不同的滚轮振动信号。试验结果表明，该方法可有效消除噪声对振动信号的干扰，证明了小波半软阈值与Hilbert变换相结合的方法在驱动机构滚轮状态识别和故障诊断中的有效性，为驱动机构的状态判别提供了理论支持。